Formal verification for a PMQTT protocol
نویسندگان
چکیده
منابع مشابه
Formal Verification of a Medical Protocol
This paper investigates whether formal verification of medical protocols can contribute to their quality. Two versions of a medical protocol (for managing Hyperbilirubinemia) were converted into a formal model and implemented in the specification language PROMELA. The implemented model is checked with SPIN. No anomalies were discovered by SPIN, but some odd cases did come up during the implemen...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملFibre Channel Protocol: Formal Specification and Verification
The complexity of the Fibre Channel protocol poses a challenge to design its implementation “right-the-firsttime”. In this work we have investigated the formal specification and mechanical verification of the Fibre Channel Protocol to address issues of correctness. We present abstract models of the FC-2 layer protocols in SpecCharts and the automated verification of a portion of the fibre chann...
متن کاملApplying Formal Verification with Protocol Compiler
This paper presents a practical methodology for the application of formal verification to the industrial design environment “Protocol Compiler”. Our verification flow is to first create a testbench and simulate the design. Then we modify the testbench and perform a formal verification technique called assertion checking. The examples are taken from the networking arena. The first is a simplifie...
متن کاملFormal Verification of Payment protocol using AVISPA
Emerging e-commerce activity is giving scope for the design of many new protocols, and to gain confidence, these protocol need to be verified for its designed properties. Specifically protocol used in ecommerce transactions needs to be verified for their security properties. Verification of these protocols is done using the formal verification tools. AVISPA is one of the evolving tools used mai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Egyptian Informatics Journal
سال: 2020
ISSN: 1110-8665
DOI: 10.1016/j.eij.2020.01.001